Digitised Mathematics: Computerisation vs. Formalisation
نویسنده
چکیده
In only few decades, computers have changed the way we approach documents. Throughout history, mathematicians and philosophers had clarified the relationship between mathematical thoughts and their textual and symbolic representations. We discuss here the consequences of computerbased formalisation for mathematical authoring habits and we present an overview of our approach for computerising mathematical texts.
منابع مشابه
Digitisation, Representation and Formalisation Digital Libraries of Mathematics
One of the main tasks of the mathematical knowledge management community must surely be to enhance access to mathematics on digital systems. In this paper we present a spectrum of approaches to solving the various problems inherent in this task, arguing that a variety of approaches is both necessary and useful. The main ideas presented are about the differences between digitised mathematics, di...
متن کاملComputerising Mathematical Text
Mathematical texts can be computerised in many ways that capture differing amounts of the mathematical meaning. At one end, there is document imaging, which captures the arrangement of black marks on paper, while at the other end there are proof assistants (e.g., Mizar, Isabelle, Coq, etc.), which capture the full mathematical meaning and have proofs expressed in a formal foundation of mathemat...
متن کاملA method for synchronising digitised video data.
This paper presents a general method for synchronising digitised video data using a mathematical approach based upon the direct linear transformation reconstruction technique. The method was tested using digitised data from genlocked video recordings of gymnastic vaulting, tumbling, high bar and rings. The mean synchronisation error was less than 0.002 s for vaulting and less than 0.001 s for t...
متن کاملOn the Computation of the Hausdorff Metric between Digitised Images in Three Dimensions
Efficient and fast solutions to the problem of computing the Hausdorff metric between two arbitrary grey-scale, digitised images are considered. The more efficient of the techniques proposed here considers the grey-scale attribute of the images as the third dimension. To test the performance of our methods, we apply them to compare pairs of monochrome fractal objects as well as to compare real-...
متن کاملRepository A method for synchronising digitised video data
This paper presents a general method for synchronising digitised video data using a mathematical approach based upon the DLT reconstruction technique. The method was tested using digitised data from genlocked video recordings of gymnastic vaulting, tumbling, high bar and rings. The mean synchronisation error was less than 0.002 s for vaulting and less than 0.001 s for the other activities.
متن کامل